4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44
Before Change
super("pdr-" + prop);
this.prop = prop;
Node single = new NodeBuilder(spec.node).clearProperties().addProperty(prop).build();
this.node = slicing ? LustreSlicer.slice(single, spec.dependencyMap) : single;
this.parent = parent;
this.director = director;
After Change
super("pdr-" + prop);
this.prop = prop;
Node single = new NodeBuilder(spec.node).clearProperties().addProperty(prop).build();
this.node = LustreSlicer.slice(single, spec.dependencyMap);
this.parent = parent;
this.director = director;